1

A dynamic logic for privacy compliance

Year:
2011
Language:
english
File:
PDF, 2.98 MB
english, 2011
2

Interpreting an action from what we perceive and what we expect

Year:
2007
Language:
english
File:
PDF, 473 KB
english, 2007
3

Dynamic epistemic logic in update logic

Year:
2016
Language:
english
File:
PDF, 1.44 MB
english, 2016
4

Modal logics of sabotage revisited

Year:
2018
Language:
english
File:
PDF, 1.09 MB
english, 2018
8

An Internal Version of Epistemic Logic

Year:
2010
Language:
english
File:
PDF, 341 KB
english, 2010
10

DEL-sequents for progression

Year:
2011
Language:
english
File:
PDF, 465 KB
english, 2011
11

DEL-sequents for regression and epistemic planning

Year:
2012
Language:
english
File:
PDF, 1.31 MB
english, 2012
12

Intricate Axioms as Interaction Axioms

Year:
2015
Language:
english
File:
PDF, 376 KB
english, 2015
13

Displaying updates in logic

Year:
2016
Language:
english
File:
PDF, 1.70 MB
english, 2016
15

An Internal Version of Epistemic Logic

Year:
2010
Language:
english
File:
PDF, 1.73 MB
english, 2010